On Strongest Necessary and Weakest Sufficient Conditions

Given a propositional theory T and a proposition q, a suucient condition of q is one that will make q true under T , and a necessary condition of q is one that has to be true for q to be true under T. In this paper , we propose a notion of strongest necessary and weakest suucient conditions. Intuitively, the strongest necessary condition of a proposition is the most general consequence that we can deduce from the proposition under the given theory, and the weakest suucient condition is the most general abduction that we can make from the proposition under the given theory. We show that these two conditions are dual ones, and can be naturally extended to arbitrary formulas. We investigate some computational properties of these two conditions and discuss some of their potential applications.